HC: wide separator styling

https://bugzilla.gnome.org/show_bug.cgi?id=740862

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index d43c0745ad9a29426b210adbdec02d64bfb47d70..173cf3c9d549b5932407da8dd3772fee8b5c830e 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1904,6 +1904,19 @@ GtkPaned {
   }
 }
 
+GtkPaned.wide { // this is for the paned with wide separator
+  -GtkPaned-handle-size: 5; // wider separator here
+  margin: 0; // no need of the invisible drag area so, reset margin
+  .pane-separator {
+    background-color: transparent;
+    border-style: none solid;
+    border-color: $borders_color;
+    border-width: 1px;
+  }
+  &.vertical .pane-separator { border-style: solid none;}
+  .pane-separator:backdrop { border-color: $backdrop_borders_color; }
+}
+
 /**************
  * GtkInfoBar *
  **************/

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index c58d550424533c6d48ac5ebae7972beaac99fe56..ca6cf6882142498479564fec241ce3790acf0594 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -2047,6 +2047,19 @@ GtkPaned {
   .pane-separator:backdrop {
     background-image: linear-gradient(to bottom, #8b8b8b); }
 
+GtkPaned.wide {
+  -GtkPaned-handle-size: 5;
+  margin: 0; }
+  GtkPaned.wide .pane-separator {
+    background-color: transparent;
+    border-style: none solid;
+    border-color: #7f7f7f;
+    border-width: 1px; }
+  GtkPaned.wide.vertical .pane-separator {
+    border-style: solid none; }
+  GtkPaned.wide .pane-separator:backdrop {
+    border-color: #8b8b8b; }
+
 /**************
  * GtkInfoBar *
  **************/